package Runde7;

public class Elefant extends Groszwild {
	
	/**
	 * @precondition The given name must not be empty.
	 * @postcondition - creates new elephant with the given name
	 */
	public Elefant(String name) {
		super(name);
	}
	
	/**
	 * @postcondition - delivers a readable form of this instance of Elefant
	 */
	public String toString() {
		return getName() + " (Elefant)";
	}
	
}